This research explores the marginal stakeholder engagement and propensity to value cocreation in the fast-fashion industry by taking Generation Z consumers (GZCs) as observation unit and social networking sites (SNSs) as context of investigation. By undertaking 24 in-depth interviews with US and Italian GZCs, the study uncovers the main elements that influence their engagement generation on SNSs and highlights that at least four main paradoxes (PXs) exist in this scenario. Specifically, the interviewees reported that they do not trust those brands (...) that make them feel as marginal consumers (PX1) and that they are likely to be extremely loyal to those brands that actively take them into consideration in their activities on SNSs (PX2). In addition, although GZCs concerned about the environment, in most cases, they will buy repeatedly from fast-fashion brands for convenience reasons (PX3). Finally, social dimension of GZCs engagement appears to be influenced by their peers' preferences (PX4). This research is the first that explored GZCs by considering them under the lenses of stakeholder engagement and offering novel insights about common believes on this generation of consumers. Therefore, theoretical and managerial implications are discussed to advance current knowledge on GZCs and to help the development of new strategies to engage them on SNSs. (shrink)

This work evaluated the structure of dreams in people affected by schizophrenia. The verbal reports of 123 schizophrenic patients were compared with 123 dream reports from a control group. In accordance with the Jungian conceptualization of, dreams as texts, dream reports were assessed using textual analysis processing techniques.Significant differences were found in textual parameters, showing that the dreams reports of schizophrenic patients differ from those of the control group. It is thus possible that schizophrenia probably underlies changes in the oneiric (...) production and dream reports. This work confirms the value of textual analysis in the study of oneiric material. (shrink)

The present article has as its purpose to analyze the “spectacle” (ὄψις), from the conceptions developed in the Poetics of Aristotle, as a fundamental part in the tragic conception of Sophocles, in the work Oedipus Tyrannus. The analysis focused on the exodus of the play to demonstrate how aspects of theatrical representation are present in the tragic text.

El artículo expone la propuesta de filosofía de la historia de José Ortega y Gasset. Tras mostrar su constante interés por la historia en prácticamente todos sus escritos tanto de juventud como de madurez, pasa a exponer su proyecto de historiología. Para ello, centra la atención en dos conceptos clave: la teoría de las creencias y la teoría de las generaciones. Este recorrido se lleva a cabo en paralelo a un análisis del influjo crítico de Hegel, mostrando las continuidades y (...) rupturas entre ambos. (shrink)

The effects of striatal dopamine (DA) on behavior have been widely investigated over the past decades, with “phasic” burst firings considered as the key expression of a reward prediction error responsible for reinforcement learning. Less well studied is “tonic” DA, where putative functions include the idea that it is a regulator of vigor, incentive salience, disposition to exert an effort and a modulator of approach strategies. We present a model combining tonic and phasic DA to show how different outflows triggered (...) by either intrinsically or extrinsically motivating stimuli dynamically affect the basal ganglia by impacting on a selection process this system performs on its cortical input. The model, which has been tested on the simulated humanoid robot iCub interacting with a mechatronic board, shows the putative functions ascribed to DA emerging from the combination of a standard computational mechanism coupled to a differential sensitivity to the presence of DA across the striatum. (shrink)

This volume presents a selection of the Proceedings of the Workshop on Anticipation, Agency and Complexity held in Trento on April 2017. The contributions contained in the book brilliantly revolve around three core concepts: agency, complexity and anticipation, giving precious insights to further define the discipline of anticipation. In a world that moves increasingly fast, constantly on the verge of disruptive events, more and more scholars and practitioners in any field feel in need of new approaches to make sense of (...) the complexity and uncertainty that the future seems to bear. The theory of anticipation tries to describe how possible futures are intrinsically intertwined with the present. (shrink)

A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each (...) chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject. (shrink)

We prove that the category of Nachbin’s compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we observe that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to any finitely accessible (...) category, any first-order definable class of structures, and any class of finitary algebras closed under products and subalgebras. An explicit equational axiomatisation of the dual of the category of compact ordered spaces is obtained; in fact, we provide a finite one, meaning that our description uses only finitely many function symbols and finitely many equational axioms. In preparation for the latter result, we establish a generalisation of a celebrated theorem by Mundici: our result—whose proof is independent of Mundici’s theorem—asserts that the category of unital commutative distributive lattice-ordered monoids is equivalent to the category of what we call MV-monoidal algebras.Abstract taken directly from the thesis.E-mail: marco[email protected]: https://air.unimi.it/retrieve/handle/2434/812809/1698986/phd_unimi_R11882.pdf. (shrink)

At the core of anthropomorphism lies a false-positive cognitive bias to over-attribute the pattern of the human body and/or mind. Anthropomorphism is independently discussed in various disciplines, is presumed to have deep biological roots, but its cognitive bases are rarely explored in an integrative way. I present an inclusive, multifaceted interdisciplinary approach to refine the psychological bases of mental anthropomorphism. I have integrated 13 conceptual dissections of folk finalistic reasoning into four psychological inference systems (physical, design, basic-goal and belief stances); (...) the latter three are truly teleological and thus prone to anthropomorphisms. I then have empirically integrated the cross-disciplinary genetic, neural, cognitive, psychiatric, developmental, comparative and evolutionary/adaptive evidence that converge supporting the nature of the distinct stances. The over-reactive calibration of the three teleological systems is framed as an evolved design feature to avoid harmful ancestral contexts. Nowadays, these stances easily engage with scientific reasoning about bio-evolutionary matters with negative and positive consequences. Design, basic-goal, and belief stances benefit biology by providing cognitive foundations, expressing a high-powered explanatory system, promoting functional generalization, fostering new research questions and discoveries, enabling metaphorical/analogical thinking and explaining didactically with brevity. Hence, it is neither feasible nor advantageous to completely eliminate teleology from biology. Instead, we should engage with the eight classes of problems in bio-philosophy and bio-education that relate to the three stances: types of anthropomorphism, variety of misunderstandings, misleading appeal, legitimacy controversy, gateway to mysticism, total prohibition and its backfire effect. Recognizing the distinction among design, basic-goal, and belief stances helps to elucidate much of the logic underlying these issues, so that it enables a much more detailed taxonomy of anthropomorphisms, and organizes the various misunderstandings about evolution by natural selection. It also offers a solid psychological grounding for anchoring definitions and terminology. This tripartite framework also shed some light on how to better deal with the over-reactive stances in bio-education, by organizing previous pedagogical strategies and by suggesting new possibilities to be tested. Therefore, this framework constitutes a promising approach to advance the debate regarding the psychological underpinnings of anthropomorphisms and to further support regulating and clarifying teleology and anthropomorphism in biology. (shrink)

The perpetual secretary of the Berlin Academy Johann Heinrich Samuel Formey is best known as a populariser of Christian Wolff’s doctrines. As of Formey’s activity in the Berlin Academy, scholars have mostly emphasized his role in the controversy over monads with Leonhard Euler, while overlooking other interesting contributions Formey presented in the “speculative philosophy” class of the Academy. In this paper, I analyse two articles Formey published in 1747 on the Mémoires de l’Académie de Berlin, namely the Preuves de l’existence (...) de Dieu, ramenées aux notions communes and the Examen de la preuve qu’on tire des fins de la nature, pour établir l’existence de Dieu. In these texts, Formey presents some of Wolff’s methodological and metaphysical ideas, in an implicit dialogue with other members of the Academy – in particular, with the president Pierre-Louis Moreau de Maupertuis – who were also interested in metaphysics and the philosophical method. Formey reworks the Wolffian arguments as to make them more accessible, in order to promote an open confrontation over core philosophical questions. Far from adopting a controversial tone, Formey’s attitude is rather conciliatory: any disagreement, as he thinks, can be easily settled once the true method for philosophizing is made available to everybody. (shrink)

Two of the most well-known belief contraction operators are partial meet contractions (PMCs) and kernel contractions (KCs). In this paper we propose two new classes of contraction operators, namely the class of generalized partial meet contractions (GPMC) and the class of generalized kernel contractions (GKC), which strictly contain the classes of PMCs and of KCs, respectively. We identify some extra conditions that can be added to the definitions of GPMCs and of GKCs, which give rise to some interesting subclasses of (...) those classes of functions, namely the classes of extensional and of uniform GPMCs/GKCs. In the context of contractions on belief sets the classes of partial meet contractions, uniform GPMCs and extensional GPMCs are all identical. Nevertheless, when considered as operations on belief bases, the class of uniform GPMCs coincides with the class of partial meet contractions, but the extensional GPMCs constitute a new kind of belief base contraction functions whose characterizing postulate of irrelevance of syntax is extensionality—the same postulate of irrelevance of syntax which occurs in the classical axiomatic characterization of partial meet contractions for belief sets—rather than the postulate of uniformity—which is the irrelevance of syntax postulate used in the axiomatic characterization for partial meet contractions on belief bases. Analogous results are obtained regarding the classes of extensional and of uniform GKCs. We present the interrelations in the sense of inclusion among all the new classes of operators presented in this paper and several well known classes of PMCs and of KCs. (shrink)

We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains a finite equational (...) axiomatization for these dynamic relation algebras. The completenessresult uses techniques from modal logic. We also lookat the variety generated by the class of dynamic relation algebras and note that there exist nonrepresentable algebras in this variety, ones which cannot be construedas spaces of relations. These results are also proved for an extension to a signature containing atomic tests and union. (shrink)

What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable through: (...) (1) genuinely finite-valued truth-tabular semantics; (2) no finite-valued but only an infinite-valued truthtabular semantics; (3) no truth-tabular semantics at all. Any of those logics, however, can in principle be characterized through non-truth-functional valuation semantics, at least as soon as their associated consequence relations respect the usual tarskian postulates. So, paradoxical as that might seem at first, it turns out that truth-functional logics may be adequately characterized by non-truth-functional semantics . Now, what feature of a given logic would guarantee it to dwell in class (1) or in class (2), irrespective of its circumstantial semantic characterization? (shrink)

Negative definability ([18]) is an alternative way of defining classes of Kripke frames via a modal language, one that enables us, for instance, to define the class of irreflexive frames. Besides a list of closure conditions for negatively definable classes, the paper contains two main theorems. First, a characterization is given of negatively definable classes of (rooted) finite transitive Kripke frames and of such classes defined using both traditional (positive) and negative definitions. Second, we characterize the negatively definable classes of (...) rooted general frames. (shrink)

By the end of the 1820s, an innovative product was introduced in the northern Italian editorial market: technical and popular periodicals offering “useful knowledge” to a larger audience composed of members of the provincial middle-class, clergymen, and modestly educated craftsmen. By examining their medical content, this paper shows that popularisation did not merely entail disseminating a set of stable, unanimous, and trustworthy medical doctrines; rather, it represented a crucial step in the making of science during a period in which medical (...) theories were still various and contradictory. Moreover, it demonstrates that the environmental and preventative approach to disease, which these medical contributors often employed, did reflect recent developments in chemical or physical knowledge and responded to pedagogical and informative goals; but it mostly served to affirm the social usefulness of medicine and the legitimacy of health professionals' participation in determining how to regulate more general epidemiologic, social, and political issues. (shrink)

In this paper, we propose a new kind of nonprioritized operator which we call two level credibility-limited revision. When revising through a two level credibility-limited revision there are two levels of credibility and one of incredibility. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by the negation of that (...) sentence. If the sentence is not credible, then the original belief set remains unchanged. In this article, we axiomatically characterize several classes of two level credibility-limited revision operators. (shrink)

It is well known that the validity of Choice Principles is problematic in non-standard Set Theories which do not abide by the Limitation of Size Principle. In this paper we discuss the consistency of various Choice Principles with respect to the Generalized Positive Comprehension Principle . The Principle GPC allows to take as sets those classes which can be specified by Generalized Positive Formulae, e.g. the universe. In particular we give a complete characterization of which choice principles hold in Hyperuniverses. (...) Hyperuniverses are structures which arose independently in Non-well-founded Set Theory and in Mathematical Semantics of Concurrent Programming Languages and are hitherto the only existing models of GPC. Hyperuniverses are naturally endowed with a κ-compact uniform κ-topology and are uniformly isomorphic to their exponential space, i.e. the space of their closed subsets endowed with the Exponential Uniformity. (shrink)

We say that things happen accidentally when they do indeed happen, but only by chance. In the opposite situation, an essential happening is inescapable, its inevitability being the sine qua non for its very occurrence. This paper will investigate modal logics on a language tailored to talk about essential and accidental statements. Completeness of some among the weakest and the strongest such systems is attained. The weak expressibility of the classical propositional language enriched with the non-normal modal operators of essence (...) and accident is highlighted and illustrated, both with respect to the definability of the more usual modal operators as well as with respect to the characterizability of classes of frames. Several interesting problems and directions are left open for exploration. (shrink)

In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contractions. We investigate the interrelations in the sense of (...) inclusion among the class of residual contractions and other classes of well known contraction operators for belief bases. (shrink)

Après avoir passé en revue la diversité des politiques nationales en matière de transition énergétique, cet entretien fait le point sur ce que l’Union européenne a déjà pu et pourra apporter aux multiples redimensionnements en cours. Alors que les politiques nationales restent obnubilées par une conception centralisatrice de la production énergétique, le nouveau monde de la parité-réseau et des consommateurs-producteurs redistribue les cartes selon des échelles sensiblement différentes. Une coordination européenne entre initiatives locales peut devenir un atout, pour autant que (...) des mesures de redistribution sachent prévenir une nouvelle « lutte des classes énergétiques » qu’exaspèrent nos inégalités actuelles. (shrink)

One goal of normative multi-agent system theory is to formulate principles for normative system change that maintain the rule-like structure of norms and preserve links between norms and individual agent obligations. A central question raised by this problem is whether there is a framework for norm change that is at once specific enough to capture this rule-like behavior of norms, yet general enough to support a full battery of norm and obligation change operators. In this paper we propose an answer (...) to this question by developing a bimodal logic for norms and obligations called NO. A key to our approach is that norms are treated as propositional formulas, and we provide some independent reasons for adopting this stance. Then we define norm change operations for a wide class of modal systems, including the class of NO systems, by constructing a class of modal revision operators that satisfy all the AGM postulates for revision, and constructing a class of modal contraction operators that satisfy all the AGM postulates for contraction. More generally, our approach yields an easily extendable framework within which to work out principles for a theory of normative system change. (shrink)

We examine the emergence of the ‘postfeminist’ sensibility from feminist theory and praxis, and its relation and relevance to education. Analytical frameworks such as postfeminism and intersectionality have given equal weight to recognition-based struggles, such as those based on sexual, racial, class-based, gender-related identities. We follow Nancy Fraser’s argument that these identity-based movements have been co-opted by neoliberal politicians and bureaucratic policy-makers, and become a divide and rule strategy, neglecting the subjugating power of capital. Beginning with third-wave feminism’s emphasis on (...) individual identity, women’s struggles have been become a part of the greater parisitic neoliberal project. We consider the implications of this docile and domesticated feminism for the education of women. (shrink)

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential non-classical negations that live inside very natural systems of normal modal logics over complete distributive lattices; these logics are further enriched by adjustment connectives that may be used (...) for handling reasoning under uncertainty caused by inconsistency or undeterminedness. Using such straightforward semantics, we study the classes of frames characterized by seriality, reflexivity, functionality, symmetry, transitivity, and some combinations thereof, and discuss what they reveal about sub-classical properties of negation. To the logics thereby characterized we apply a general mechanism that allows one to endow them with analytic ordinary sequent systems, most of which are even cut-free. We also investigate the exact circumstances that allow for classical negation to be explicitly defined inside our logics. (shrink)

Fisher [10] and Baur [6] showed independently in the seventies that if T is a complete first-order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In [25, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq _p)$ such that K is a class of modules and $\leq _p$ is the pure submodule relation. In this paper we give some instances where this is true:Theorem.Assume (...) R is an associative ring with unity. Let $(K, \leq _p)$ be an AEC such that $K \subseteq R\text {-Mod}$ and K is closed under finite direct sums, then: •If K is closed under pure-injective envelopes, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda \geq \operatorname {LS}(\mathbf {K})$ such that $\lambda ^{|R| + \aleph _0}= \lambda $.•If K is closed under pure submodules and pure epimorphic images, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $.•Assume R is Von Neumann regular. If $\mathbf {K}$ is closed under submodules and has arbitrarily large models, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $.As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, Dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy.Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of $\mathfrak {s}$ -torsion modules. (shrink)

We deal with the ranking problem of the nodes in a directed graph. The bilateral relationships specified by a directed graph may reflect the outcomes of a sport competition, the mutual reference structure between websites, or a group preference structure over alternatives. We introduce a class of scoring methods for directed graphs, indexed by a single nonnegative parameter α. This parameter reflects the internal slackening of a node within an underlying iterative process. The class of so-called internal slackening scoring methods, (...) denoted by λα, consists of the limits of these processes. It is seen that λ0 extends the invariant scoring method, while λ∞ extends the fair bets scoring method. Method λ1 corresponds with the existing λ-scoring method of Borm et al. (Ann Oper Res 109(1):61–75, 2002) and can be seen as a compromise between λ0 and λ∞. In particular, an explicit proportionality relation between λα and λ1 is derived. Moreover, the internal slackening scoring methods are applied to the setting of social choice situations where they give rise to a class of social choice correspondences that refine both the Top cycle correspondence and the Uncovered set correspondence. (shrink)

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

Diagrams are ubiquitous in mathematics. From the most elementary class to the most advanced seminar, in both introductory textbooks and professional journals, diagrams are present, to introduce concepts, increase understanding, and prove results. They thus fulfill a variety of important roles in mathematical practice. Long overlooked by philosophers focused on foundational and ontological issues, these roles have come to receive attention in the past two decades, a trend in line with the growing philosophical interest in actual mathematical practice.

Ao estudarmos a Cibercultura na perspectiva de Pierre Lévy, perceberemos a existência de certa unilateralidade, uma absolutização do ciberespaço e de seu papel na sociedade contemporânea. Isso se manifesta claramente na visão de Lévy quando o mesmo fala que o ciberespaço levará a uma reunificação da humanidade, transpondo as barreiras geográficas, históricas, culturais e de classe. Apesar dos grandes movimentos de dispersão e de aglutinação apontados pelo filósofo terem acontecido de fato, a maneira posta tende para uma explicação que (...) naturaliza esse movimento, que o inscreve como independente dos conflitos e dos percalços históricos. Tudo isso partindo de uma crença que o resultado será positivo para a sociedade como um todo e para o desenvolvimento dos indivíduos. Porém, o movimento geral que está a se realizar não aponta objetivamente neste sentido, aliás, revela direção oposta, aprofundando problemas sociais, conflitos e disputas dentro do mundo do ciberespaço. Lançando à margem do processo milhões de seres humanos, regiões inteiras do globo, culturas e histórias. Mas, Levy aponta isso como um processo natural, quase um darwinismo social e tecnológico que irá aprimorar a vida no planeta. Nesse sentido, o pensador Pierre Levy não ver os conflitos sociais como elementos impulsionadores e decisivos das soluções e perspectivas dos processos em curso, mas como meros coadjuvantes de uma força maior, com sentido já determinado, o que irá configurar um futuro melhor. Visto desta forma, os conflitos representariam meros retardamentos do processo, onde deveríamos evitá-lo, nos reservando a condição de observadores e impulsionadores deste movimento pré-determinado. (shrink)

We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are reduced and indecomposable. This is achieved by means of a uniform formula in the language of rings with signature $$. In the characteristic zero case, the claim implies that the full theory is undecidable, for rings of the referred type. This extends a series of results by Raphael Robinson, holding for certain polynomial integral domains, to a more general class.

Computing formulae and solving equations are essential elements of scientific analysis. While today digital tools are almost always applied, analog computing is a rich part of the larger history of science and technology. Graphical methods are an integral element of computing history and still find some use today. This paper presents the history of nomograms, a historically-relevant tool for solving mathematical problems in various branches of science and engineering; in particular, we consider their role in mechanical engineering, especially for education, (...) and discuss their mathematical properties. Each nomogram is a graphical description of a specific mathematical equation, designed such that the solution can be found through a simple geometric construction that can be performed with a straightedge. By design, using nomograms requires little skills and can be done even in adverse environments; a solution of sufficient accuracy for most purposes can then be found in a very short time. Another important advantage of nomograms is that they offer clear insight on the relationships between the variables, an insight which can be lost by looking at a complex equation. First introduced in the late $$19^{\textrm{th}}$$ century, nomograms were used by engineers and scientists due to their speed with respect to manual calculations, before being superseded by computers. While now mostly obsolete in practice, nomograms can still prove useful in workshops and teaching classes: we thus also discuss their educational applications and present a few original examples. (shrink)

Propõe a expansão da classe Espiritismo na Classificação Decimal de Dewey. Justifica a proposta devido ao grande número de adeptos e à produção literária espírita. Evidencia que o Espiritismo é a oitava religião com mais praticantes no mundo e a terceira no Brasil. Apresenta a importância da doutrina espírita ao redor do mundo e no Brasil. Utiliza a teoria proposta por Vanda Brougthon para religião e acrescenta as facetas ciência, filosofia, religião e aspectos gerais da Doutrina Espírita. Analisa propostas (...) de expansão de classes existentes e elabora uma revisão de literatura acerca da história do espiritismo. Utiliza a metodologia de Barité para modificação de esquemas de classificação. Os termos foram coletados a partir do tesauro espírita e da obra de referência da Federação Espírita Brasileira e sistematiza os conceitos hierarquicamente. Propõe a expansão da classe 202 – Doutrina a partir da identificação e sistematização dos conceitos, colocando-os de forma notacional. Conclui que uma doutrina com tantos adeptos e com uma grande produção literária deve ser representada adequadamente na Classificação Decimal de Dewey e a que a mesma oferece pouco espaço de representação na classe 200 para as diversas religiões praticadas no mundo. (shrink)

We study Martsinkovsky–Russell torsion modules with pure embeddings as an abstract elementary class. We give a model-theoretic characterization of the pure-injective and the Σ-pure-injective modules relative to the class of torsion modules assuming that the torsion submodule is a pure submodule. Our characterization of relative Σ-pure-injective modules extends the classical characterization of Gruson and Jenson as well as Zimmermann. We study the limit models of the class and determine when the class is superstable assuming that the torsion submodule is a (...) pure submodule. As a corollary, we show that the class of torsion abelian groups with pure embeddings is strictly stable (i.e., stable not superstable). (shrink)

In this paper we analyse the concepts of Promise and Threat and their inter-relations. Our objective is to study the uses of P and T in persuasion and to shed some light on related concepts such as requesting, ordering, giving prizes, punishing, etc. First, we show that some Ps and Ts are used for persuasion and some are conditional in nature. Using general definitions of P and T and a broad notion of persuasion, four different typologies of P and T (...) are introduced. They are distinguished on their conditional/non-conditional dimension and on their influencing/non-influencing aim. We then focus on Conditional Influencing Ps and Ts used in persuasion. CIPs and CITs are incentive-based influencing actions rooted on dependence and power relations. Moreover, in the CIP and CIT classes the concepts of threat and promise are closely connected: the CIP is always accompanied by a CIT, and vice versa. Next, we discuss the issue of why CIPs and CITs are credible. We also identify — beyond their surface, rhetorical form — a deeper difference: a ‘substantial’ threat consisting in a choice between two losses compared with a ‘substantial’ promise where the choice is between a gain and a missed-gain. In the article we present a pre-formal model as a basis for a computational treatment of these concepts. (shrink)

A decision maker bets on the outcomes of a sequence of coin-tossings. At the beginning of the game the decision maker can choose one of two coins to play the game. This initial choice is irreversible. The coins can be biased and the player is uncertain about the nature of one (or possibly both) coin(s). If the player is an expected-utility maximizer, her choice of the coin will depend on different elements: the nature of the game (namely, whether she can (...) observe the outcomes of the previous tosses before making her next decision), her utility function, the prior distribution on the bias of the coin. We will show that even a risk averter might optimally choose a riskier coin when learning is allowed. We will express most of our results in the language of stochastic orderings, allowing comparisons that are valid for large classes of utility functions. (shrink)

Corpus linguistics grew up in the domain of written (and literary) varieties, while its recent methodological revolution is due to the computer-assisted capacity of elaborating massive amounts of text data. On the other hand, the so-called ‘low-density varieties’, including spoken varieties as well as varieties spoken in minority communities, have been confined to a rather marginal role. Among others, this is due to the technical problems connected to the scarce degree of normalization in linguistic –including graphemic– terms, as well as (...) to the scarcity of language resources for automatic processing. In this paper, we will exploit the possibilities opened by corpus linguistics for acquiring and analyzing the textual patrimony of the Walser German communities of Piedmont and Aosta Valley. The varieties of Highest Alemannic spoken there, dramatically exposed to language decay, provide a limited but significant amount of data, which is accompanied by a substantial lexical documentation due to the active collaboration of the speakers’ communities in collecting and compiling local dictionaries. After briefly introducing our archive and discussing the peculiar solutions adopted for the construction of the platform, we will also present corpus-based morphological investigations regarding the representation of verbal prefixes, of the clitic group, as well as of the inflectional behaviour of verb classes. (shrink)

Understanding the dynamics of complex ecosystems is a necessary step to maintain and control them. Yet, reverse-engineering ecological dynamics remains challenging largely due to the very broad class of dynamics that ecosystems may take. Here, this challenge is tackled through symbolic regression, a machine learning method that automatically reverse-engineers both the model structure and parameters from temporal data. How combining symbolic regression with a “dictionary” of possible ecological functional responses opens the door to correctly reverse-engineering ecosystem dynamics, even in the (...) case of poorly informative data, is shown. This strategy is validated using both synthetic and experimental data, and it is found that this strategy is promising for the systematic modeling of complex ecological systems. (shrink)

Traditional literature considers complex biometric sources such as words, letters and signatures for writer verification/identification. In this work the use of small segments of the handwritten stroke for writer verification is proposed. A grapheme is defined as the concatenation of smaller segments or fragments. Two models of grapheme are developed based on the idea that the segments are parts of a circle with or without direction. The average of Gray Level of the Perpendicular Line to the Skeleton and Local Binary (...) Pattern are adopted as descriptors. A database of 3,000 images of 50 writers, with 6 types of segments and with 10 samples per segment has been developed. A binary output support vector machine was applied as classifier. Thus, 50 classifiers were trained using 100 balanced data sets generated using subsampling of the majority class. Experiments are carried out with the proposed models, with an identity verification hit rate of 97 % on average. The positive results of experiments show that it is possible to achieve high precision in writer verification using segment of graphemes. (shrink)